3

Proof theory of Nelson’s paraconsistent logic: A uniform perspective

Year:
2012
Language:
english
File:
PDF, 384 KB
english, 2012
4

Paraconsistent Double Negations as Classical and Intuitionistic Negations

Year:
2017
Language:
english
File:
PDF, 559 KB
english, 2017
5

A Hierarchy of Weak Double Negations

Year:
2013
Language:
english
File:
PDF, 231 KB
english, 2013
6

On a logic of involutive quantales

Year:
2005
Language:
english
File:
PDF, 112 KB
english, 2005
9

Anticipatory Processes in Sentence Processing

Year:
2008
Language:
english
File:
PDF, 763 KB
english, 2008
25

Effects of proton irradiation on the hardening behavior of HT-9 steel

Year:
1985
Language:
english
File:
PDF, 373 KB
english, 1985
26

A modeling of the magnetospheric substorm

Year:
1975
Language:
english
File:
PDF, 356 KB
english, 1975
27

Substorm energy

Year:
1976
Language:
english
File:
PDF, 379 KB
english, 1976
29

Fabrication of superlattice structures by plasma controlled magnetron sputtering

Year:
1988
Language:
english
File:
PDF, 317 KB
english, 1988
36

The relationship between field-aligned currents and the auroral electrojets: A review

Year:
1982
Language:
english
File:
PDF, 7.34 MB
english, 1982
38

Gentzen-Type Methods for Bilattice Negation

Year:
2005
Language:
english
File:
PDF, 230 KB
english, 2005
40

Field-aligned and ionospheric currents

Year:
1975
Language:
english
File:
PDF, 1.56 MB
english, 1975
41

Completeness and cut-elimination theorems for trilattice logics

Year:
2011
Language:
english
File:
PDF, 347 KB
english, 2011
43

Substructural Logics with Mingle

Year:
2002
Language:
english
File:
PDF, 144 KB
english, 2002
46

Incremental interpretation at verbs: restricting the domain of subsequent reference

Year:
1999
Language:
english
File:
PDF, 295 KB
english, 1999